home *** CD-ROM | disk | FTP | other *** search
/ Programmer Plus 2007 / Programmer-Plus-2007.iso / Programming / Borland Plateform / Turbo Prolog 2 / EXAMPL17.PRO < prev    next >
Encoding:
Prolog Source  |  1986-04-25  |  249 b   |  11 lines
  1.                /* Program  17*/
  2. domains
  3.   d = pair(integer,integer) ; single(integer) ; none
  4. predicates
  5.      equal(d,d)
  6. clauses
  7.      equal(X,X).
  8.      equal(single(4),pair(3,4)).
  9.      equal(pair(2,1),pair(2,1)).
  10.      equal(none,none).
  11.